#Density : 308452945922478293510760167/1600000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 9, 10, 12, 13, 14, 15}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
2593935900519967001821/125000000000000000000000 -352213748973656199442059/2500000000000000000000000 49771482900882143542999/1250000000000000000000000 85915412070832085346101/1250000000000000000000000 81351564556487870037653/1250000000000000000000000 85492286458861330538473/2500000000000000000000000
-352213748973656199442059/2500000000000000000000000 47824822865210498735920461/50000000000000000000000000 -6758147177416339254842721/25000000000000000000000000 -11665897131081150576616179/25000000000000000000000000 -11046201847767072860567187/25000000000000000000000000 -11608443645800686176575967/50000000000000000000000000
49771482900882143542999/1250000000000000000000000 -6758147177416339254842721/25000000000000000000000000 954996809927429882336581/12500000000000000000000000 1648513157919010260196319/12500000000000000000000000 1560943739385235629316607/12500000000000000000000000 1640394380135447366760187/25000000000000000000000000
85915412070832085346101/1250000000000000000000000 -11665897131081150576616179/25000000000000000000000000 1648513157919010260196319/12500000000000000000000000 2845659381876487625880781/12500000000000000000000000 2694497265748357130299693/12500000000000000000000000 2831644767520403011878113/25000000000000000000000000
81351564556487870037653/1250000000000000000000000 -11046201847767072860567187/25000000000000000000000000 1560943739385235629316607/12500000000000000000000000 2694497265748357130299693/12500000000000000000000000 2551364917869322789343629/12500000000000000000000000 2681227111103887213405889/25000000000000000000000000
85492286458861330538473/2500000000000000000000000 -11608443645800686176575967/50000000000000000000000000 1640394380135447366760187/25000000000000000000000000 2831644767520403011878113/25000000000000000000000000 2681227111103887213405889/25000000000000000000000000 2817699173868904712932549/50000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
2817699173868904712932549/50000000000000000000000000 2831644767520403011878113/25000000000000000000000000 2681227111103887213405889/25000000000000000000000000 -11608443645800686176575967/50000000000000000000000000 1640394380135447366760187/25000000000000000000000000 85492286458861330538473/2500000000000000000000000
2831644767520403011878113/25000000000000000000000000 2845659381876487625880781/12500000000000000000000000 2694497265748357130299693/12500000000000000000000000 -11665897131081150576616179/25000000000000000000000000 1648513157919010260196319/12500000000000000000000000 85915412070832085346101/1250000000000000000000000
2681227111103887213405889/25000000000000000000000000 2694497265748357130299693/12500000000000000000000000 2551364917869322789343629/12500000000000000000000000 -11046201847767072860567187/25000000000000000000000000 1560943739385235629316607/12500000000000000000000000 81351564556487870037653/1250000000000000000000000
-11608443645800686176575967/50000000000000000000000000 -11665897131081150576616179/25000000000000000000000000 -11046201847767072860567187/25000000000000000000000000 47824822865210498735920461/50000000000000000000000000 -6758147177416339254842721/25000000000000000000000000 -352213748973656199442059/2500000000000000000000000
1640394380135447366760187/25000000000000000000000000 1648513157919010260196319/12500000000000000000000000 1560943739385235629316607/12500000000000000000000000 -6758147177416339254842721/25000000000000000000000000 954996809927429882336581/12500000000000000000000000 49771482900882143542999/1250000000000000000000000
85492286458861330538473/2500000000000000000000000 85915412070832085346101/1250000000000000000000000 81351564556487870037653/1250000000000000000000000 -352213748973656199442059/2500000000000000000000000 49771482900882143542999/1250000000000000000000000 2593935900519967001821/125000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
177886277339780691626370837/1000000000000000000000000000 55633664549614496543749549/500000000000000000000000000 -52606148260093699095386583/1000000000000000000000000000 -52988509252556224520933099/250000000000000000000000000 10149317105429868977014079/200000000000000000000000000 -166623446514804972938783793/1000000000000000000000000000 49851047833129707120816241/250000000000000000000000000 321923165053070825530686379/1000000000000000000000000000 20316897409340216589640223/25000000000000000000000000 -734452533386351182017217251/1000000000000000000000000000 118770451739745625895298389/1000000000000000000000000000 -276083414814314103762638329/500000000000000000000000000
55633664549614496543749549/500000000000000000000000000 19632541639505152071218537/125000000000000000000000000 -2182014288396853806716837/25000000000000000000000000 -43197845933174392453162541/250000000000000000000000000 -48034842470947671572102637/500000000000000000000000000 -22835742284456520907849133/250000000000000000000000000 18217710040833794645079361/250000000000000000000000000 163273998160963667300070297/500000000000000000000000000 349992187398766722451242601/500000000000000000000000000 -287183416135619832332588253/500000000000000000000000000 36182932015103806362848303/250000000000000000000000000 -14397512330068605428129049/31250000000000000000000000
-52606148260093699095386583/1000000000000000000000000000 -2182014288396853806716837/25000000000000000000000000 106707972867707526216877407/1000000000000000000000000000 -3073994231927145905468909/500000000000000000000000000 1155774928276359044544757/8000000000000000000000000 -60210905107399839726416553/1000000000000000000000000000 5252130262143490653880573/500000000000000000000000000 -101952708891664498384494481/1000000000000000000000000000 -14833189473096157319547631/500000000000000000000000000 -17953648509142806074985633/1000000000000000000000000000 -3505020734840210149920251/1000000000000000000000000000 32703583439888305727675219/250000000000000000000000000
-52988509252556224520933099/250000000000000000000000000 -43197845933174392453162541/250000000000000000000000000 -3073994231927145905468909/500000000000000000000000000 106141155579016628356700391/250000000000000000000000000 -16578456635286988794478597/125000000000000000000000000 179327647470010548907749757/500000000000000000000000000 -68668803173439276431931489/250000000000000000000000000 -13935855587469990552405107/25000000000000000000000000 -798048394975220597840233263/500000000000000000000000000 178710848562525790702755657/125000000000000000000000000 -148648105006811683847096289/500000000000000000000000000 220354649757810380203296427/250000000000000000000000000
10149317105429868977014079/200000000000000000000000000 -48034842470947671572102637/500000000000000000000000000 1155774928276359044544757/8000000000000000000000000 -16578456635286988794478597/125000000000000000000000000 312907256688953305124770499/1000000000000000000000000000 -207956624645947164647109907/1000000000000000000000000000 46155110354420486574447163/250000000000000000000000000 8079540368487482492411429/1000000000000000000000000000 102996317086296104070213503/250000000000000000000000000 -469378086662348869946948361/1000000000000000000000000000 36173504637500188410349043/1000000000000000000000000000 -67173129551225113385247503/500000000000000000000000000
-166623446514804972938783793/1000000000000000000000000000 -22835742284456520907849133/250000000000000000000000000 -60210905107399839726416553/1000000000000000000000000000 179327647470010548907749757/500000000000000000000000000 -207956624645947164647109907/1000000000000000000000000000 1140059827324040738160096513/1000000000000000000000000000 -130153337123732475004657187/500000000000000000000000000 -408885086895568831825388143/1000000000000000000000000000 -658324328155473332801723947/500000000000000000000000000 1213633114366774072963428489/1000000000000000000000000000 -46865448093296156803423837/200000000000000000000000000 85573572766033473662098117/125000000000000000000000000
49851047833129707120816241/250000000000000000000000000 18217710040833794645079361/250000000000000000000000000 5252130262143490653880573/500000000000000000000000000 -68668803173439276431931489/250000000000000000000000000 46155110354420486574447163/250000000000000000000000000 -130153337123732475004657187/500000000000000000000000000 69611761955663502972624981/250000000000000000000000000 41599280764247893803182849/125000000000000000000000000 4046016329419494309552657/4000000000000000000000000 -119278605731994884556748041/125000000000000000000000000 70169762811659543769564483/500000000000000000000000000 -154555791809552128514240639/250000000000000000000000000
321923165053070825530686379/1000000000000000000000000000 163273998160963667300070297/500000000000000000000000000 -101952708891664498384494481/1000000000000000000000000000 -13935855587469990552405107/25000000000000000000000000 8079540368487482492411429/1000000000000000000000000000 -408885086895568831825388143/1000000000000000000000000000 41599280764247893803182849/125000000000000000000000000 849864981693619497222371237/1000000000000000000000000000 107691362531428846751728777/50000000000000000000000000 -74950265325000511932193953/40000000000000000000000000 409233002034900699740396291/1000000000000000000000000000 -646742801773344438917302529/500000000000000000000000000
20316897409340216589640223/25000000000000000000000000 349992187398766722451242601/500000000000000000000000000 -14833189473096157319547631/500000000000000000000000000 -798048394975220597840233263/500000000000000000000000000 102996317086296104070213503/250000000000000000000000000 -658324328155473332801723947/500000000000000000000000000 4046016329419494309552657/4000000000000000000000000 107691362531428846751728777/50000000000000000000000000 1507408266165547605000370197/250000000000000000000000000 -2685420810306644823257146917/500000000000000000000000000 113068943902809163264909857/100000000000000000000000000 -1687272284121093362405337359/500000000000000000000000000
-734452533386351182017217251/1000000000000000000000000000 -287183416135619832332588253/500000000000000000000000000 -17953648509142806074985633/1000000000000000000000000000 178710848562525790702755657/125000000000000000000000000 -469378086662348869946948361/1000000000000000000000000000 1213633114366774072963428489/1000000000000000000000000000 -119278605731994884556748041/125000000000000000000000000 -74950265325000511932193953/40000000000000000000000000 -2685420810306644823257146917/500000000000000000000000000 4823068404965367980746472433/1000000000000000000000000000 -986201109945347268784554573/1000000000000000000000000000 1494234992625479951365758597/500000000000000000000000000
118770451739745625895298389/1000000000000000000000000000 36182932015103806362848303/250000000000000000000000000 -3505020734840210149920251/1000000000000000000000000000 -148648105006811683847096289/500000000000000000000000000 36173504637500188410349043/1000000000000000000000000000 -46865448093296156803423837/200000000000000000000000000 70169762811659543769564483/500000000000000000000000000 409233002034900699740396291/1000000000000000000000000000 113068943902809163264909857/100000000000000000000000000 -986201109945347268784554573/1000000000000000000000000000 235202532578022862248854169/1000000000000000000000000000 -7482140115283809013164917/12500000000000000000000000
-276083414814314103762638329/500000000000000000000000000 -14397512330068605428129049/31250000000000000000000000 32703583439888305727675219/250000000000000000000000000 220354649757810380203296427/250000000000000000000000000 -67173129551225113385247503/500000000000000000000000000 85573572766033473662098117/125000000000000000000000000 -154555791809552128514240639/250000000000000000000000000 -646742801773344438917302529/500000000000000000000000000 -1687272284121093362405337359/500000000000000000000000000 1494234992625479951365758597/500000000000000000000000000 -7482140115283809013164917/12500000000000000000000000 256917528556035091157221801/125000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
421324261846168039475427503/1000000000000000000000000000 353729987021869566731953649/500000000000000000000000000 72720147468717778849213999/200000000000000000000000000 137026236080774691006202731/1000000000000000000000000000
353729987021869566731953649/500000000000000000000000000 2036831764570625607424139903/1000000000000000000000000000 -301450636243566576498311191/200000000000000000000000000 2737176632609280390757990221/1000000000000000000000000000
72720147468717778849213999/200000000000000000000000000 -301450636243566576498311191/200000000000000000000000000 111941007276392110291192021/20000000000000000000000000 -613621110368648572380807351/100000000000000000000000000
137026236080774691006202731/1000000000000000000000000000 2737176632609280390757990221/1000000000000000000000000000 -613621110368648572380807351/100000000000000000000000000 3724379692182391635870061581/500000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
282251309532413963484893211/250000000000000000000000000 478037282790950861189049/800000000000000000000000 56912888574277075587193787/62500000000000000000000000 -31744898990956559515348469/500000000000000000000000000 26224768609388075372338973/62500000000000000000000000 -52236893727153791581251043/62500000000000000000000000 57569793697589794587532539/100000000000000000000000000 -4138176932857675444155573/5000000000000000000000000 -60008232669008781399853979/500000000000000000000000000 -28110066850262848311864439/250000000000000000000000000
478037282790950861189049/800000000000000000000000 1408265785558038128607254599/1000000000000000000000000000 292704478538205990946622933/125000000000000000000000000 -4313369555704578872085521/200000000000000000000000000 219827700664006029303387097/125000000000000000000000000 -470319170029284671612968173/250000000000000000000000000 1407881262656098047391621333/1000000000000000000000000000 -262178531601121745280890769/100000000000000000000000000 -22561681863982818591251467/1000000000000000000000000000 57569793697589794587532539/100000000000000000000000000
56912888574277075587193787/62500000000000000000000000 292704478538205990946622933/125000000000000000000000000 3910142542673169313703510061/1000000000000000000000000000 -16372349247631400578397311/1000000000000000000000000000 1500827607520136459284316327/500000000000000000000000000 -3115770931210258640449079807/1000000000000000000000000000 292704478538205990946622933/125000000000000000000000000 -2212590698653511904714844627/500000000000000000000000000 -16372349247631400578397311/1000000000000000000000000000 56912888574277075587193787/62500000000000000000000000
-31744898990956559515348469/500000000000000000000000000 -4313369555704578872085521/200000000000000000000000000 -16372349247631400578397311/1000000000000000000000000000 2746293777881772578994231/100000000000000000000000000 35195286722450738254608563/500000000000000000000000000 45756081641229611331432853/1000000000000000000000000000 -22561681863982818591251467/1000000000000000000000000000 -20855931458926524704935691/500000000000000000000000000 6222278064993721573984569/250000000000000000000000000 -60008232669008781399853979/500000000000000000000000000
26224768609388075372338973/62500000000000000000000000 219827700664006029303387097/125000000000000000000000000 1500827607520136459284316327/500000000000000000000000000 35195286722450738254608563/500000000000000000000000000 641964208544942922224871189/250000000000000000000000000 -1143955070006337134580385909/500000000000000000000000000 219827700664006029303387097/125000000000000000000000000 -897112497274883733215236799/250000000000000000000000000 35195286722450738254608563/500000000000000000000000000 26224768609388075372338973/62500000000000000000000000
-52236893727153791581251043/62500000000000000000000000 -470319170029284671612968173/250000000000000000000000000 -3115770931210258640449079807/1000000000000000000000000000 45756081641229611331432853/1000000000000000000000000000 -1143955070006337134580385909/500000000000000000000000000 542363950989489920526781049/200000000000000000000000000 -470319170029284671612968173/250000000000000000000000000 345070093762749093227647119/100000000000000000000000000 45756081641229611331432853/1000000000000000000000000000 -52236893727153791581251043/62500000000000000000000000
57569793697589794587532539/100000000000000000000000000 1407881262656098047391621333/1000000000000000000000000000 292704478538205990946622933/125000000000000000000000000 -22561681863982818591251467/1000000000000000000000000000 219827700664006029303387097/125000000000000000000000000 -470319170029284671612968173/250000000000000000000000000 1408265785558038128607254599/1000000000000000000000000000 -262178531601121745280890769/100000000000000000000000000 -4313369555704578872085521/200000000000000000000000000 478037282790950861189049/800000000000000000000000
-4138176932857675444155573/5000000000000000000000000 -262178531601121745280890769/100000000000000000000000000 -2212590698653511904714844627/500000000000000000000000000 -20855931458926524704935691/500000000000000000000000000 -897112497274883733215236799/250000000000000000000000000 345070093762749093227647119/100000000000000000000000000 -262178531601121745280890769/100000000000000000000000000 2573530443117588453815444717/500000000000000000000000000 -20855931458926524704935691/500000000000000000000000000 -4138176932857675444155573/5000000000000000000000000
-60008232669008781399853979/500000000000000000000000000 -22561681863982818591251467/1000000000000000000000000000 -16372349247631400578397311/1000000000000000000000000000 6222278064993721573984569/250000000000000000000000000 35195286722450738254608563/500000000000000000000000000 45756081641229611331432853/1000000000000000000000000000 -4313369555704578872085521/200000000000000000000000000 -20855931458926524704935691/500000000000000000000000000 2746293777881772578994231/100000000000000000000000000 -31744898990956559515348469/500000000000000000000000000
-28110066850262848311864439/250000000000000000000000000 57569793697589794587532539/100000000000000000000000000 56912888574277075587193787/62500000000000000000000000 -60008232669008781399853979/500000000000000000000000000 26224768609388075372338973/62500000000000000000000000 -52236893727153791581251043/62500000000000000000000000 478037282790950861189049/800000000000000000000000 -4138176932857675444155573/5000000000000000000000000 -31744898990956559515348469/500000000000000000000000000 282251309532413963484893211/250000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
16473768676817702278100359/15625000000000000000000000 -276564811900202195348265177/125000000000000000000000000 0/1 -115800706321070181982248571/125000000000000000000000000 -16473768676817702278100359/15625000000000000000000000 276564811900202195348265177/125000000000000000000000000
-276564811900202195348265177/125000000000000000000000000 4643023504939108139203996911/1000000000000000000000000000 0/1 1944084635020377422809870473/1000000000000000000000000000 276564811900202195348265177/125000000000000000000000000 -4643023504939108139203996911/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
-115800706321070181982248571/125000000000000000000000000 1944084635020377422809870473/1000000000000000000000000000 0/1 1498588419969909829423378969/1000000000000000000000000000 115800706321070181982248571/125000000000000000000000000 -1944084635020377422809870473/1000000000000000000000000000
-16473768676817702278100359/15625000000000000000000000 276564811900202195348265177/125000000000000000000000000 0/1 115800706321070181982248571/125000000000000000000000000 16473768676817702278100359/15625000000000000000000000 -276564811900202195348265177/125000000000000000000000000
276564811900202195348265177/125000000000000000000000000 -4643023504939108139203996911/1000000000000000000000000000 0/1 -1944084635020377422809870473/1000000000000000000000000000 -276564811900202195348265177/125000000000000000000000000 4643023504939108139203996911/1000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
264111088917479043509399899/250000000000000000000000000 -912870083545253919145179/7812500000000000000000000 181492587785166931984461639/500000000000000000000000000 -349284126397174705089429/2500000000000000000000000 -79594008199619169679137193/125000000000000000000000000 181436724430536456151519049/500000000000000000000000000 -9375056432427354898885521/250000000000000000000000000 -930964424654383364734751/7812500000000000000000000 264105267082574820292949217/250000000000000000000000000
-912870083545253919145179/7812500000000000000000000 54747212883041280529572453/250000000000000000000000000 -22776844445680534817721121/250000000000000000000000000 -5057556117571237120548177/125000000000000000000000000 -1811629333761340934843627/250000000000000000000000000 -25554829354736182988411361/250000000000000000000000000 37254704654613154629739479/250000000000000000000000000 -567988268244234014791967/50000000000000000000000000 -930964424654383364734751/7812500000000000000000000
181492587785166931984461639/500000000000000000000000000 -22776844445680534817721121/250000000000000000000000000 159703401707381777204449129/1000000000000000000000000000 -1659861955814616084462387/125000000000000000000000000 -42554948723000590332705437/250000000000000000000000000 159167365484797294657142079/1000000000000000000000000000 -25641793257437216331343293/250000000000000000000000000 -25554829354736182988411361/250000000000000000000000000 181436724430536456151519049/500000000000000000000000000
-349284126397174705089429/2500000000000000000000000 -5057556117571237120548177/125000000000000000000000000 -1659861955814616084462387/125000000000000000000000000 3530425665600551942784303/31250000000000000000000000 16586634740023448939066961/125000000000000000000000000 -1659861955814616084462387/125000000000000000000000000 -10579261739914289634860457/125000000000000000000000000 -5057556117571237120548177/125000000000000000000000000 -349284126397174705089429/2500000000000000000000000
-79594008199619169679137193/125000000000000000000000000 -1811629333761340934843627/250000000000000000000000000 -42554948723000590332705437/250000000000000000000000000 16586634740023448939066961/125000000000000000000000000 112891422680295415997636467/250000000000000000000000000 -42554948723000590332705437/250000000000000000000000000 -12829435634671056605991219/125000000000000000000000000 -1811629333761340934843627/250000000000000000000000000 -79594008199619169679137193/125000000000000000000000000
181436724430536456151519049/500000000000000000000000000 -25554829354736182988411361/250000000000000000000000000 159167365484797294657142079/1000000000000000000000000000 -1659861955814616084462387/125000000000000000000000000 -42554948723000590332705437/250000000000000000000000000 159703401707381777204449129/1000000000000000000000000000 -25641793257437216331343293/250000000000000000000000000 -22776844445680534817721121/250000000000000000000000000 181492587785166931984461639/500000000000000000000000000
-9375056432427354898885521/250000000000000000000000000 37254704654613154629739479/250000000000000000000000000 -25641793257437216331343293/250000000000000000000000000 -10579261739914289634860457/125000000000000000000000000 -12829435634671056605991219/125000000000000000000000000 -25641793257437216331343293/250000000000000000000000000 116383315314668038670000799/500000000000000000000000000 37254704654613154629739479/250000000000000000000000000 -9375056432427354898885521/250000000000000000000000000
-930964424654383364734751/7812500000000000000000000 -567988268244234014791967/50000000000000000000000000 -25554829354736182988411361/250000000000000000000000000 -5057556117571237120548177/125000000000000000000000000 -1811629333761340934843627/250000000000000000000000000 -22776844445680534817721121/250000000000000000000000000 37254704654613154629739479/250000000000000000000000000 54747212883041280529572453/250000000000000000000000000 -912870083545253919145179/7812500000000000000000000
264105267082574820292949217/250000000000000000000000000 -930964424654383364734751/7812500000000000000000000 181436724430536456151519049/500000000000000000000000000 -349284126397174705089429/2500000000000000000000000 -79594008199619169679137193/125000000000000000000000000 181492587785166931984461639/500000000000000000000000000 -9375056432427354898885521/250000000000000000000000000 -912870083545253919145179/7812500000000000000000000 264111088917479043509399899/250000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
2276102190650188507190743/40000000000000000000000000 -4571189917590451701/250000000000000000000000000 -12340798629623013092476967/250000000000000000000000000 24681595943207139192747081/500000000000000000000000000 12340797774322779957231241/250000000000000000000000000 304212348277093657853517833/500000000000000000000000000 238094759562065602983/1000000000000000000000000000
-4571189917590451701/250000000000000000000000000 4147038869967596478169025249/500000000000000000000000000 591316821792927172397449717/1000000000000000000000000000 -295658409057164309769615957/500000000000000000000000000 147829206315190077849231991/250000000000000000000000000 7864171366855702181/1000000000000000000000000000 121684942937612809024846127/200000000000000000000000000
-12340798629623013092476967/250000000000000000000000000 591316821792927172397449717/1000000000000000000000000000 1639462477622653944250079683/1000000000000000000000000000 -460265990344904483035913793/500000000000000000000000000 -179732623991113342474438289/500000000000000000000000000 -295658409056044581364539653/500000000000000000000000000 49363193137365284738238667/1000000000000000000000000000
24681595943207139192747081/500000000000000000000000000 -295658409057164309769615957/500000000000000000000000000 -460265990344904483035913793/500000000000000000000000000 409865619407231797508463061/250000000000000000000000000 -44933155997007876724447553/125000000000000000000000000 73914602735489136698097811/125000000000000000000000000 -12340798621752455426459719/250000000000000000000000000
12340797774322779957231241/250000000000000000000000000 147829206315190077849231991/250000000000000000000000000 -179732623991113342474438289/500000000000000000000000000 -44933155997007876724447553/125000000000000000000000000 1639462479918026443678175821/1000000000000000000000000000 59131682535235822024120297/100000000000000000000000000 12340798089334260398585693/250000000000000000000000000
304212348277093657853517833/500000000000000000000000000 7864171366855702181/1000000000000000000000000000 -295658409056044581364539653/500000000000000000000000000 73914602735489136698097811/125000000000000000000000000 59131682535235822024120297/100000000000000000000000000 331763109650165699521799507/40000000000000000000000000 -9137371914122596371/500000000000000000000000000
238094759562065602983/1000000000000000000000000000 121684942937612809024846127/200000000000000000000000000 49363193137365284738238667/1000000000000000000000000000 -12340798621752455426459719/250000000000000000000000000 12340798089334260398585693/250000000000000000000000000 -9137371914122596371/500000000000000000000000000 14225576362133713175785331/250000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
256917528556035091157221801/125000000000000000000000000 85573572766033473662098117/125000000000000000000000000 1494234992625479951365758597/500000000000000000000000000 220354649757810380203296427/250000000000000000000000000 -646742801773344438917302529/500000000000000000000000000 -14397512330068605428129049/31250000000000000000000000 -7482140115283809013164917/12500000000000000000000000 -67173129551225113385247503/500000000000000000000000000 -1687272284121093362405337359/500000000000000000000000000 32703583439888305727675219/250000000000000000000000000 -154555791809552128514240639/250000000000000000000000000 -276083414814314103762638329/500000000000000000000000000
85573572766033473662098117/125000000000000000000000000 1140059827324040738160096513/1000000000000000000000000000 1213633114366774072963428489/1000000000000000000000000000 179327647470010548907749757/500000000000000000000000000 -408885086895568831825388143/1000000000000000000000000000 -22835742284456520907849133/250000000000000000000000000 -46865448093296156803423837/200000000000000000000000000 -207956624645947164647109907/1000000000000000000000000000 -658324328155473332801723947/500000000000000000000000000 -60210905107399839726416553/1000000000000000000000000000 -130153337123732475004657187/500000000000000000000000000 -166623446514804972938783793/1000000000000000000000000000
1494234992625479951365758597/500000000000000000000000000 1213633114366774072963428489/1000000000000000000000000000 4823068404965367980746472433/1000000000000000000000000000 178710848562525790702755657/125000000000000000000000000 -74950265325000511932193953/40000000000000000000000000 -287183416135619832332588253/500000000000000000000000000 -986201109945347268784554573/1000000000000000000000000000 -469378086662348869946948361/1000000000000000000000000000 -2685420810306644823257146917/500000000000000000000000000 -17953648509142806074985633/1000000000000000000000000000 -119278605731994884556748041/125000000000000000000000000 -734452533386351182017217251/1000000000000000000000000000
220354649757810380203296427/250000000000000000000000000 179327647470010548907749757/500000000000000000000000000 178710848562525790702755657/125000000000000000000000000 106141155579016628356700391/250000000000000000000000000 -13935855587469990552405107/25000000000000000000000000 -43197845933174392453162541/250000000000000000000000000 -148648105006811683847096289/500000000000000000000000000 -16578456635286988794478597/125000000000000000000000000 -798048394975220597840233263/500000000000000000000000000 -3073994231927145905468909/500000000000000000000000000 -68668803173439276431931489/250000000000000000000000000 -52988509252556224520933099/250000000000000000000000000
-646742801773344438917302529/500000000000000000000000000 -408885086895568831825388143/1000000000000000000000000000 -74950265325000511932193953/40000000000000000000000000 -13935855587469990552405107/25000000000000000000000000 849864981693619497222371237/1000000000000000000000000000 163273998160963667300070297/500000000000000000000000000 409233002034900699740396291/1000000000000000000000000000 8079540368487482492411429/1000000000000000000000000000 107691362531428846751728777/50000000000000000000000000 -101952708891664498384494481/1000000000000000000000000000 41599280764247893803182849/125000000000000000000000000 321923165053070825530686379/1000000000000000000000000000
-14397512330068605428129049/31250000000000000000000000 -22835742284456520907849133/250000000000000000000000000 -287183416135619832332588253/500000000000000000000000000 -43197845933174392453162541/250000000000000000000000000 163273998160963667300070297/500000000000000000000000000 19632541639505152071218537/125000000000000000000000000 36182932015103806362848303/250000000000000000000000000 -48034842470947671572102637/500000000000000000000000000 349992187398766722451242601/500000000000000000000000000 -2182014288396853806716837/25000000000000000000000000 18217710040833794645079361/250000000000000000000000000 55633664549614496543749549/500000000000000000000000000
-7482140115283809013164917/12500000000000000000000000 -46865448093296156803423837/200000000000000000000000000 -986201109945347268784554573/1000000000000000000000000000 -148648105006811683847096289/500000000000000000000000000 409233002034900699740396291/1000000000000000000000000000 36182932015103806362848303/250000000000000000000000000 235202532578022862248854169/1000000000000000000000000000 36173504637500188410349043/1000000000000000000000000000 113068943902809163264909857/100000000000000000000000000 -3505020734840210149920251/1000000000000000000000000000 70169762811659543769564483/500000000000000000000000000 118770451739745625895298389/1000000000000000000000000000
-67173129551225113385247503/500000000000000000000000000 -207956624645947164647109907/1000000000000000000000000000 -469378086662348869946948361/1000000000000000000000000000 -16578456635286988794478597/125000000000000000000000000 8079540368487482492411429/1000000000000000000000000000 -48034842470947671572102637/500000000000000000000000000 36173504637500188410349043/1000000000000000000000000000 312907256688953305124770499/1000000000000000000000000000 102996317086296104070213503/250000000000000000000000000 1155774928276359044544757/8000000000000000000000000 46155110354420486574447163/250000000000000000000000000 10149317105429868977014079/200000000000000000000000000
-1687272284121093362405337359/500000000000000000000000000 -658324328155473332801723947/500000000000000000000000000 -2685420810306644823257146917/500000000000000000000000000 -798048394975220597840233263/500000000000000000000000000 107691362531428846751728777/50000000000000000000000000 349992187398766722451242601/500000000000000000000000000 113068943902809163264909857/100000000000000000000000000 102996317086296104070213503/250000000000000000000000000 1507408266165547605000370197/250000000000000000000000000 -14833189473096157319547631/500000000000000000000000000 4046016329419494309552657/4000000000000000000000000 20316897409340216589640223/25000000000000000000000000
32703583439888305727675219/250000000000000000000000000 -60210905107399839726416553/1000000000000000000000000000 -17953648509142806074985633/1000000000000000000000000000 -3073994231927145905468909/500000000000000000000000000 -101952708891664498384494481/1000000000000000000000000000 -2182014288396853806716837/25000000000000000000000000 -3505020734840210149920251/1000000000000000000000000000 1155774928276359044544757/8000000000000000000000000 -14833189473096157319547631/500000000000000000000000000 106707972867707526216877407/1000000000000000000000000000 5252130262143490653880573/500000000000000000000000000 -52606148260093699095386583/1000000000000000000000000000
-154555791809552128514240639/250000000000000000000000000 -130153337123732475004657187/500000000000000000000000000 -119278605731994884556748041/125000000000000000000000000 -68668803173439276431931489/250000000000000000000000000 41599280764247893803182849/125000000000000000000000000 18217710040833794645079361/250000000000000000000000000 70169762811659543769564483/500000000000000000000000000 46155110354420486574447163/250000000000000000000000000 4046016329419494309552657/4000000000000000000000000 5252130262143490653880573/500000000000000000000000000 69611761955663502972624981/250000000000000000000000000 49851047833129707120816241/250000000000000000000000000
-276083414814314103762638329/500000000000000000000000000 -166623446514804972938783793/1000000000000000000000000000 -734452533386351182017217251/1000000000000000000000000000 -52988509252556224520933099/250000000000000000000000000 321923165053070825530686379/1000000000000000000000000000 55633664549614496543749549/500000000000000000000000000 118770451739745625895298389/1000000000000000000000000000 10149317105429868977014079/200000000000000000000000000 20316897409340216589640223/25000000000000000000000000 -52606148260093699095386583/1000000000000000000000000000 49851047833129707120816241/250000000000000000000000000 177886277339780691626370837/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
3724379692182391635870061581/500000000000000000000000000 2737176632609280390757990221/1000000000000000000000000000 -613621110368648572380807351/100000000000000000000000000 137026236080774691006202731/1000000000000000000000000000
2737176632609280390757990221/1000000000000000000000000000 2036831764570625607424139903/1000000000000000000000000000 -301450636243566576498311191/200000000000000000000000000 353729987021869566731953649/500000000000000000000000000
-613621110368648572380807351/100000000000000000000000000 -301450636243566576498311191/200000000000000000000000000 111941007276392110291192021/20000000000000000000000000 72720147468717778849213999/200000000000000000000000000
137026236080774691006202731/1000000000000000000000000000 353729987021869566731953649/500000000000000000000000000 72720147468717778849213999/200000000000000000000000000 421324261846168039475427503/1000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
21857492734079510083651767/15625000000000000000000000 138022226375705525658575769/125000000000000000000000000 -120680910705461862367495377/125000000000000000000000000 -13374138491374422572331591/31250000000000000000000000 -14563982651825460096633279/31250000000000000000000000 -54607669214115782551609953/125000000000000000000000000
138022226375705525658575769/125000000000000000000000000 871560851259217635055804183/1000000000000000000000000000 -762056663097732333282003039/1000000000000000000000000000 -84452887295641384834819337/250000000000000000000000000 -91966326374110346923508753/250000000000000000000000000 -344827843422716551086200271/1000000000000000000000000000
-120680910705461862367495377/125000000000000000000000000 -762056663097732333282003039/1000000000000000000000000000 666310742310901738416445287/1000000000000000000000000000 73842102233598570378173121/250000000000000000000000000 80411541767572364883603849/250000000000000000000000000 301503165639260414044313943/1000000000000000000000000000
-13374138491374422572331591/31250000000000000000000000 -84452887295641384834819337/250000000000000000000000000 73842102233598570378173121/250000000000000000000000000 8183353075422884716425943/62500000000000000000000000 8911393604985273215695567/62500000000000000000000000 33413280271713860848389969/250000000000000000000000000
-14563982651825460096633279/31250000000000000000000000 -91966326374110346923508753/250000000000000000000000000 80411541767572364883603849/250000000000000000000000000 8911393604985273215695567/62500000000000000000000000 9704205018536202373823623/62500000000000000000000000 36385927552019309533214361/250000000000000000000000000
-54607669214115782551609953/125000000000000000000000000 -344827843422716551086200271/1000000000000000000000000000 301503165639260414044313943/1000000000000000000000000000 33413280271713860848389969/250000000000000000000000000 36385927552019309533214361/250000000000000000000000000 136429075982207810034643527/1000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
9928060694566597242970751/1000000000000000000000000000 -9928060694566597242970751/1000000000000000000000000000 -17350783390854229/1000000000000000000000000000 -42045420635778520732149171/1000000000000000000000000000 2627838696708443440849877/62500000000000000000000000 -42045418985180726528064501/1000000000000000000000000000 0/1 2709424976278316772343927/250000000000000000000000000 -2709424976278316772343927/250000000000000000000000000 -13273849288554849/1000000000000000000000000000
-9928060694566597242970751/1000000000000000000000000000 9928060694566597242970751/1000000000000000000000000000 17350783390854229/1000000000000000000000000000 42045420635778520732149171/1000000000000000000000000000 -2627838696708443440849877/62500000000000000000000000 42045418985180726528064501/1000000000000000000000000000 0/1 -2709424976278316772343927/250000000000000000000000000 2709424976278316772343927/250000000000000000000000000 13273849288554849/1000000000000000000000000000
-17350783390854229/1000000000000000000000000000 17350783390854229/1000000000000000000000000000 9928060733721335610888803/1000000000000000000000000000 -42045419583818716051231683/1000000000000000000000000000 656959687437678369969113/15625000000000000000000000 8409083962828352016242367/200000000000000000000000000 0/1 -4219619911371251/250000000000000000000000000 4219619911371251/250000000000000000000000000 10837699889402058458310891/1000000000000000000000000000
-42045420635778520732149171/1000000000000000000000000000 42045420635778520732149171/1000000000000000000000000000 -42045419583818716051231683/1000000000000000000000000000 854587574185712030240369423/1000000000000000000000000000 8896047450445660942009603/62500000000000000000000000 -99692433515796584558763203/200000000000000000000000000 0/1 -11474437460126214326546939/250000000000000000000000000 11474437460126214326546939/250000000000000000000000000 -45897748882881241157785931/1000000000000000000000000000
2627838696708443440849877/62500000000000000000000000 -2627838696708443440849877/62500000000000000000000000 656959687437678369969113/15625000000000000000000000 8896047450445660942009603/62500000000000000000000000 6676465416853118573509913/7812500000000000000000000 -31153885435422151030796417/62500000000000000000000000 0/1 179288083028735918158971/3906250000000000000000000 -179288083028735918158971/3906250000000000000000000 2868609345406304936218907/62500000000000000000000000
-42045418985180726528064501/1000000000000000000000000000 42045418985180726528064501/1000000000000000000000000000 8409083962828352016242367/200000000000000000000000000 -99692433515796584558763203/200000000000000000000000000 -31153885435422151030796417/62500000000000000000000000 854587574671230901981074239/1000000000000000000000000000 0/1 -11474437265219869188124721/250000000000000000000000000 11474437265219869188124721/250000000000000000000000000 45897749086310429435829619/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
2709424976278316772343927/250000000000000000000000000 -2709424976278316772343927/250000000000000000000000000 -4219619911371251/250000000000000000000000000 -11474437460126214326546939/250000000000000000000000000 179288083028735918158971/3906250000000000000000000 -11474437265219869188124721/250000000000000000000000000 0/1 739417689710369302542541/62500000000000000000000000 -739417689710369302542541/62500000000000000000000000 -3059768583490213/250000000000000000000000000
-2709424976278316772343927/250000000000000000000000000 2709424976278316772343927/250000000000000000000000000 4219619911371251/250000000000000000000000000 11474437460126214326546939/250000000000000000000000000 -179288083028735918158971/3906250000000000000000000 11474437265219869188124721/250000000000000000000000000 0/1 -739417689710369302542541/62500000000000000000000000 739417689710369302542541/62500000000000000000000000 3059768583490213/250000000000000000000000000
-13273849288554849/1000000000000000000000000000 13273849288554849/1000000000000000000000000000 10837699889402058458310891/1000000000000000000000000000 -45897748882881241157785931/1000000000000000000000000000 2868609345406304936218907/62500000000000000000000000 45897749086310429435829619/1000000000000000000000000000 0/1 -3059768583490213/250000000000000000000000000 3059768583490213/250000000000000000000000000 11830682954406086573028911/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
136429075982207810034643527/1000000000000000000000000000 36385927552019309533214361/250000000000000000000000000 301503165639260414044313943/1000000000000000000000000000 33413280271713860848389969/250000000000000000000000000 -344827843422716551086200271/1000000000000000000000000000 -54607669214115782551609953/125000000000000000000000000
36385927552019309533214361/250000000000000000000000000 9704205018536202373823623/62500000000000000000000000 80411541767572364883603849/250000000000000000000000000 8911393604985273215695567/62500000000000000000000000 -91966326374110346923508753/250000000000000000000000000 -14563982651825460096633279/31250000000000000000000000
301503165639260414044313943/1000000000000000000000000000 80411541767572364883603849/250000000000000000000000000 666310742310901738416445287/1000000000000000000000000000 73842102233598570378173121/250000000000000000000000000 -762056663097732333282003039/1000000000000000000000000000 -120680910705461862367495377/125000000000000000000000000
33413280271713860848389969/250000000000000000000000000 8911393604985273215695567/62500000000000000000000000 73842102233598570378173121/250000000000000000000000000 8183353075422884716425943/62500000000000000000000000 -84452887295641384834819337/250000000000000000000000000 -13374138491374422572331591/31250000000000000000000000
-344827843422716551086200271/1000000000000000000000000000 -91966326374110346923508753/250000000000000000000000000 -762056663097732333282003039/1000000000000000000000000000 -84452887295641384834819337/250000000000000000000000000 871560851259217635055804183/1000000000000000000000000000 138022226375705525658575769/125000000000000000000000000
-54607669214115782551609953/125000000000000000000000000 -14563982651825460096633279/31250000000000000000000000 -120680910705461862367495377/125000000000000000000000000 -13374138491374422572331591/31250000000000000000000000 138022226375705525658575769/125000000000000000000000000 21857492734079510083651767/15625000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
739417689710369302542541/62500000000000000000000000 -739417689710369302542541/62500000000000000000000000 -3059768583490213/250000000000000000000000000 -11474437460126214326546939/250000000000000000000000000 179288083028735918158971/3906250000000000000000000 -11474437265219869188124721/250000000000000000000000000 0/1 2709424976278316772343927/250000000000000000000000000 -2709424976278316772343927/250000000000000000000000000 -4219619911371251/250000000000000000000000000
-739417689710369302542541/62500000000000000000000000 739417689710369302542541/62500000000000000000000000 3059768583490213/250000000000000000000000000 11474437460126214326546939/250000000000000000000000000 -179288083028735918158971/3906250000000000000000000 11474437265219869188124721/250000000000000000000000000 0/1 -2709424976278316772343927/250000000000000000000000000 2709424976278316772343927/250000000000000000000000000 4219619911371251/250000000000000000000000000
-3059768583490213/250000000000000000000000000 3059768583490213/250000000000000000000000000 11830682954406086573028911/1000000000000000000000000000 -45897748882881241157785931/1000000000000000000000000000 2868609345406304936218907/62500000000000000000000000 45897749086310429435829619/1000000000000000000000000000 0/1 -13273849288554849/1000000000000000000000000000 13273849288554849/1000000000000000000000000000 10837699889402058458310891/1000000000000000000000000000
-11474437460126214326546939/250000000000000000000000000 11474437460126214326546939/250000000000000000000000000 -45897748882881241157785931/1000000000000000000000000000 854587574185712030240369423/1000000000000000000000000000 8896047450445660942009603/62500000000000000000000000 -99692433515796584558763203/200000000000000000000000000 0/1 -42045420635778520732149171/1000000000000000000000000000 42045420635778520732149171/1000000000000000000000000000 -42045419583818716051231683/1000000000000000000000000000
179288083028735918158971/3906250000000000000000000 -179288083028735918158971/3906250000000000000000000 2868609345406304936218907/62500000000000000000000000 8896047450445660942009603/62500000000000000000000000 6676465416853118573509913/7812500000000000000000000 -31153885435422151030796417/62500000000000000000000000 0/1 2627838696708443440849877/62500000000000000000000000 -2627838696708443440849877/62500000000000000000000000 656959687437678369969113/15625000000000000000000000
-11474437265219869188124721/250000000000000000000000000 11474437265219869188124721/250000000000000000000000000 45897749086310429435829619/1000000000000000000000000000 -99692433515796584558763203/200000000000000000000000000 -31153885435422151030796417/62500000000000000000000000 854587574671230901981074239/1000000000000000000000000000 0/1 -42045418985180726528064501/1000000000000000000000000000 42045418985180726528064501/1000000000000000000000000000 8409083962828352016242367/200000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
2709424976278316772343927/250000000000000000000000000 -2709424976278316772343927/250000000000000000000000000 -13273849288554849/1000000000000000000000000000 -42045420635778520732149171/1000000000000000000000000000 2627838696708443440849877/62500000000000000000000000 -42045418985180726528064501/1000000000000000000000000000 0/1 9928060694566597242970751/1000000000000000000000000000 -9928060694566597242970751/1000000000000000000000000000 -17350783390854229/1000000000000000000000000000
-2709424976278316772343927/250000000000000000000000000 2709424976278316772343927/250000000000000000000000000 13273849288554849/1000000000000000000000000000 42045420635778520732149171/1000000000000000000000000000 -2627838696708443440849877/62500000000000000000000000 42045418985180726528064501/1000000000000000000000000000 0/1 -9928060694566597242970751/1000000000000000000000000000 9928060694566597242970751/1000000000000000000000000000 17350783390854229/1000000000000000000000000000
-4219619911371251/250000000000000000000000000 4219619911371251/250000000000000000000000000 10837699889402058458310891/1000000000000000000000000000 -42045419583818716051231683/1000000000000000000000000000 656959687437678369969113/15625000000000000000000000 8409083962828352016242367/200000000000000000000000000 0/1 -17350783390854229/1000000000000000000000000000 17350783390854229/1000000000000000000000000000 9928060733721335610888803/1000000000000000000000000000

